A Monogenous MBO Approach to Satisfiability
نویسنده
چکیده
The marriage in honey–bees optimization (MBO) algorithm was recently proposed and showed good results for combinatorial optimization problems. Contrary to most of the swarm intelligence algorithms (such as Ant Colony Optimization), MBO uses self-organization to mix different heuristics. This paper presents a variation of the MBO algorithm where the colony contains a single queen with multiple workers. The model is used to solve a special class of the propositional satisfiability problems (SAT) known as 3-SAT, where each constraint contains exactly three variables. The objective of this paper is to detail the algorithm and analyze its behavior on 3-SAT using three parameters gleaned from biological concepts: the queen’s spermatheca size, the colony size, and the amount of time devoted for brood-care. The MBO algorithm outperformed well known heuristics for SAT.
منابع مشابه
An Annealing Approach to the Mating-Flight Trajectories in the Marriage in Honey Bees Optimization Algorithm
Marriage in Honey Bees Optimization (MBO) is a new swarm intelligence technique inspired by the marriage process of honey bees. It has been shown to be very effective in solving a special group of propositional satisfiability problems called 3-SAT. In the current MBO implementation, the acceptance of a drone for mating is determined probabilistically using a variation of the annealing function....
متن کاملA True Annealing Approach to the Marriage in Honey-Bees Optimization Algorithm
Marriage in Honey Bees Optimization (MBO) is a new swarm intelligence technique inspired by the marriage process of honey bees. It has been shown to be very effective in solving the propositional satisfiability problem known as 3–SAT (each clause has exactly three literals). The objective of this paper is to test a conventional annealing approach as a basis for determining the pool of drones (f...
متن کاملMBO: Marriage in Honey Bees Optimization A Haplometrosis Polygynous Swarming Approach
Honey-bees are one of the most well studied social insects. They exhibit many features that distinguish their use as models for intelligent behavior. These features include division of labor, communication on the individual and group level, and cooperative behavior. In this paper, we present a unified model for the marriage in honey-bees within an optimization context. The model simulates the e...
متن کاملImages of environmental management: competing metaphors in focus group discussions of Swedish environmental quality objectives.
In managing environmental problems, several countries have chosen the management by objectives (MBO) approach. This paper investigates how focus group participants from the Swedish environmental administration used metaphors to describe the mode of organization needed to attain environmental objectives. Such analysis can shed light on how an MBO system is perceived by actors and how it works in...
متن کاملCanopy and leaf level 2-methyl-3-buten-2-ol #uxes from a ponderosa pine plantation
Canopy and leaf level 2-methyl-3-butene-2-ol (methylbutenol, MBO) emissions were measured from a ponderosa pine plantation in the Sierra Nevada mountains from July to October 1998. Canopy scale #uxes were measured using a gradient approach, leaf level #uxes used a #ow-through chamber. Emissions were dependent on ambient light and temperature levels and showed a diurnal cycle very similar to iso...
متن کامل